Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
Autores varios | ||||
1. | Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. | 1993-1998 |
|
|
2. | Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum. | 1992 |
|
|
3. | Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner. | 1983 |
|
|
4. | Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings / Dov M. Gabbay, Hans J. Ohlbach (eds.). | 1994 |
|